package var.satisfiability.rules;

import tr.edu.ege.kipler.common.RelationalNode;
import tr.edu.ege.kipler.satisfiability.UnsatisfiableException;
import tr.edu.ege.kipler.satisfiability.container.Individual;
import tr.edu.ege.kipler.satisfiability.container.operational.IndividualNameManager;
import tr.edu.ege.kipler.syntax.Name;
import tr.edu.ege.kipler.syntax.Role;
import tr.edu.ege.kipler.syntax.atomicformula.InequalityAssertion;

public class Utility {
	private void explicateUNAForOldIndividuals(Individual indv)
			throws UnsatisfiableException {
		if (IndividualNameManager.getInstance().isOldIndividual(
				indv.getKey().toString())) {
			for (RelationalNode<Individual, Role, Name> node : roleG.getNodes()) {
				if (IndividualNameManager.getInstance().isOldIndividual(
						node.getValue().getName().toString())) {
					add(new InequalityAssertion(indv.getName(), node.getValue()
							.getName()));
				}
			}
		}
	}
}
